Disjun相关论文
为了解决配置有舵的海洋工程船推力分配优化问题，采用分离变量技术与二次规划方法相结合的优化算法，把每个推进器产生的推力视为一个......
研究复合命题真值问题的真值逻辑和自然语言逻辑不尽相同。解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义，同时......
